f :: String -> Tree Int